Interchange Format for Hybrid Systems: Abstract Semantics

Semantics Alessandro Pinto1, Luca P. Carloni3, Roberto Passerone2, and Alberto Sangiovanni-Vincentelli1 1 University of California at Berkeley, Berkeley, CA 94720 {apinto, alberto}@eecs.berkeley.edu 2 University of Trento, Trento, Italy [email protected] 3 Columbia University in the City of New York, NY 10027-7003 [email protected] Abstract. In [1] we advocated the need for an interchange format for In [1] we advocated the need for an interchange format for hybrid systems that enables the integration of design tools coming from many different research communities. In deriving such interchange format the main challenge is to define a language that, while presenting a particular formal semantics, remains general enough to accommodate the translation across the various modeling approaches used in the existing tools. In this paper we give a formal definition of the syntax and semantics for the proposed interchange format. In doing so, we clearly separate the structure of a hybrid system from the semantics attached to it. The semantics can be considered an “abstract semantics” in the sense that it can be refined to yield the model of computation, or “concrete semantics”, which, in turn, is associated to the existing languages that are used to specify hybrid systems. We show how the interchange format can be used to capture the essential information across different modeling approaches and how such information can be used in the translation process.